Method for two-dimensional representation, interpolation and compression of data

ABSTRACT

A method for representation, interpolation and/or compression of data includes identifying a two-dimensional interpolation function s(z) based on a sampling function a(z). A Cauchy integral theorem is applicable for the interpolation function s(z). The interpolation function s(z) is used for the representation, interpolation and/or compression of the data.

[0001] Priority is claimed to German Patent Application No. DE 102 48 543.7, the subject matter of which is hereby incorporated by reference herein.

BACKGROUND

[0002] The present invention relates to a method for multi-dimensional representation, interpolation and compression of data. More specifically, it relates to the use of two-dimensional sampling functions that are defined over the complex numbers to efficiently represent, interpolate, smooth, or compress data.

[0003] In the field of data processing, it is often required to compress data in order to speed up transmission or to improve processing. Therefore, there is a number of compression algorithms that use interpolation methods. Here, mention should be made of known compression methods for images, such as JPEG.

SUMMARY OF THE INVENTION

[0004] An object of the present invention is to provide a method which allows efficient compression of information, using interpolation algorithms that meet special requirements.

[0005] The invention provides a method for representation and/or interpolation and/or compression of automatically processable data. The method includes using a two-dimensional interpolation formula s(z) based on a sampling function a(z). The Cauchy integral theorem and, possibly, the residue theorem are applicable for the interpolation formula.

[0006] The methods used here have the special feature that holomorphic or meromorphic functions are used. A detailed description of these technical terms can be gathered, for example, from A. Hurwitz, Vorlesungen über allgemeine Funktionentheorie und Elliptische Funktionen [Lectures on General Theory of Functions and Elliptic Functions], fifth edition, Springer, Berlin Heidelberg New York, 2000, which is hereby incorporated by reference herein. If a function in an open subset is differentiable with respect to a complex variable, then the function on this subset is referred to as “holomorphic”. A function is meromorphic if a function has at most a finite number of poles in a limited region in the complex numbers and if, outside of these poles, the function is holomorphic in the complex numbers.

[0007] Applicable to such functions are theorems from the theory of functions which can be used for two-dimensional signal processing and signal compression. This holds especially true for a two-dimensional sampling function that is based on the Sinus Lemniscatus (see Gauss, Mathematisches Tagebuch [Mathematical Diary] 1796-1814, Harri Deutsch, 1985, which is hereby incorporated by reference herein). The behavior of such a two-dimensional sampling function is exceptionally suitable for sampling and interpolation purposes.

[0008] The method is suitable for interpolation, smoothing and compression of data. The special feature is the applicability of function-theoretical methods, which is made possible by satisfaction of the Cauchy-Riemann conditions. Also suitable is a Sinus Lemniscatus based interpolation formula which is based on the function sl(z)/z, as described later, and which yields identical interpolation functions in the two dimensions (x and y axes).

[0009] Using the Cauchy integral theorems and the residue theorem, the new representation can be used for compressing data.

BRIEF DESCRIPTION OF THE DRAWINGS

[0010] The invention is elaborated upon below based on exemplary embodiments with reference to the drawings, in which:

[0011]FIG. 1 shows a two-dimensional sampling function a(z)=sl ({overscore (π)}z)/({overscore (π)}z)

[0012]FIG. 2 shows a closed curve C with sampling points within C;

[0013]FIG. 3 shows the real part of s(z) on C₁;

[0014]FIG. 4 shows the imaginary part of s(z) on C₁;

DETAILED DESCRIPTION

[0015] A point P=(x, y), which is given by the real values x and y in Cartesian coordinates, is represented as a complex number z=x+i*y, with i being the square root of −1.

[0016] The case under discussion is that of equidistant sampling; that is, the values z_(j), for which sampled values exists, lie on the intersection points of a grid. For the sake of simplicity, normalization to unit distance is done, and a subset of the so-called “Gaussian integers” is taken as the set of sampling points. The Gaussian integers are complex numbers whose real and imaginary parts are integers. The values of two-dimensional functions s(z) at sampled values z_(j) are given by s_(j). Values s_(j) mostly belong to the complex numbers or to the real numbers, or to finite approximations of these numbers, such as are used for information processing in technical equipment.

[0017] An essential feature of the functions s(z) discussed in the present invention is that they satisfy the Cauchy-Riemann differential equations, except at possibly existing pole positions; that is, they are holomorphic or meromorphic.

[0018] Satisfaction of these equations is the fundamental condition for the applicability of the so-called Cauchy integral theorems or of the residue theorem. According to this theorem, the values of s(z) within a closed curve C can be calculated using the values of the function s(z) that are located on the boundary of the area bounded by C. This opens a number of new possibilities for the representation, interpolation and compression of data.

[0019] Suitable functions for use as a function s(z) are especially those having zeros at least over the set of sampling points z_(j), except at point z=0. These functions include, for example, suitably selected polynomials.

[0020] The following is a summary of the advantageous properties of a(z):

[0021] 1. It holds that a(z)=1 or another suitable constant.

[0022] 2. It holds that a(z_(j))=0, with z_(j)≠0 being a Gaussian integer.

[0023] 3. The function is holomorphic, except at possibly occurring pole positions.

[0024] The function s(z) is now expressed as:

s(z)=Σs _(j) ·a(z−z _(j)).

[0025] Suitable for a(z) are numerous functions having zeros at least at the sampling points. Moreover, in order to obtain functions that behave in a suitable manner during interpolation and approximation, it is convenient if the subset of the Gaussian integers that are zeros of the function a(z) extend beyond sampled values z_(j) at least to curve C.

[0026] A function formed by the Sinus Lemniscatus is especially suitable for practical applications. The Sinus Lemniscatus is a function introduced by Gauss (see Gauss, Mathematisches Tagebuch [Mathematical Diary] 1796-1814, Harri Deutsch, 1985) which is similar to the known sine function and which can be represented using the well-known Jacobian elliptic functions. It holds, for example, that sl(z)=(1/{square root}2)·sd ({square root}2z,1/{square root}2), where sd can be expressed, for example, using the standard functions sn and dn as follows: sd(z,k)=sn(z,k)/dn(z,k) (see, for example, E. T. Whittaker, G. N. Watson, A course of modem analysis, fourth edition, Cambridge, reprinted 1969, page 524, which is hereby incorporated by reference herein).

[0027] Using the Sinus Lemniscatus, in short sl(z), extending the well-known one-dimensional sampling function sin(πx)/(πx) (see, for example, C. Shannon, Communication in the presence of noise, Proceedings Institute of Radio Engineers, Vol. 36, 1948, pp.10-21, which is hereby $\overset{\_}{\pi} \approx {2.622057554.}$

[0028] incorporated by reference herein), it is possible to form a two-dimensional function ${a(z)} = \frac{s\quad {l\left( {\overset{\_}{\pi}\quad z} \right)}}{\overset{\_}{\pi}\quad z}$

[0029] The role of π in the one-dimensional sampling function is assumed by the value

[0030] In FIG. 1, the function a(z) is shown for real z=x in the range −2<x <2.

[0031] A remarkable feature of function a(z) is that it holds that a(iz)=a(z); that is, that the function is 90 degree rotationally invariant in the complex plane. In particular, the function yields the same values for purely imaginary values as for real values, and therefore has the property that the sampling function is identical in both dimensions, which is very convenient for two-dimensional interpolation. This is a property which is not found in the classical sampling function because in the case of purely imaginary arguments, the classical sine function can be represented by the exponential function sinh.

[0032] The very good behavior of sl(z)/z is particularly advantageous for sampling and interpolation. This is also shown by the so-called “Fourier transform”.

[0033] As can be seen from the Fourier transform, the function is very close to the low-pass behavior of the sin(x)/x in terms of the frequency components.

[0034] According to the well-known Cauchy integral theorems, holomorphic functions within a closed curve can be determined by the values on this curve. A corresponding typical scenario is depicted in FIG. 2.

[0035] Sampling points z_(j) are represented by small circles. Knowing the function s(z) at sampling points z_(j), that is, s(z_(j))=sj, it is possible to calculate function s(z) according to s(z)=Σs_(j)·a(z−z_(j)) also at the points of curve C. The points on the curve are referred to by variable τ.

[0036] If sampling function a(z) has no poles within C, then, according to the Cauchy integral theorem, it is true for values z within C that: ${s(z)} = {\frac{1}{2\pi \quad i}{\oint\limits_{c}\frac{{s(\tau)}{\tau}}{\tau - z}}}$

[0037] the curve being passed through in mathematically positive direction.

[0038] If function a(z) has poles, then it is possible to extend the formula ${s(z)} = {\frac{1}{2\pi \quad i}{\oint\limits_{c}\frac{{s(\tau)}{\tau}}{\tau - z}}}$

[0039] by including the corresponding residues using the well-known residue theorem.

[0040] In this context, it is essential that the points within C can be determined by the points τ on curve C. Thus, we have a universal method for storing two-dimensional data, but also general data known as values s_(j), using values on curve C.

[0041] In the case of meromorphic functions, possibly, residues have to be included as well. In this context, the path length, for example, can be used for parameterization.

[0042] Depending on the redundancy of data s_(j), it is possible to make do with less data on the curve. This results in the compression effect.

EXAMPLE

[0043] The present invention will now be described by way of an example.

[0044] Discussed are the points of FIG. 2; the values of function s(z)=si(πx/5)·si(πy/5) being taken as the sampled values s_(j)(z_(j)), where z=x+iy and si(x)=sin(x)/x. The complex sampling points z_(j) are the 17·13=221 Gaussian integers within curve C.

[0045] Curve C is composed of four straight-line pieces C₁, C₂, C₃ and C₄.

[0046] The segment C₁ has the real part 9, and the imaginary part runs from −7 to 7. The real part of s(z) on curve C₁ is shown in FIG. 3, and the imaginary part of s(z) is depicted in FIG. 4. The graphs for the remaining curve segments C_(2,3,4) are similar.

[0047] As can be seen from the drawings, the calculation of the contour integrals is essentially a low-pass filtering. 

What is claimed is:
 1. A method for representation, interpolation and/or compression of data, the method comprising: identifying a two-dimensional interpolation function s(z) based on a sampling function a(z), a Cauchy integral theorem being applicable for the interpolation function s(z); and using the interpolation function s(z) for at least one of representation, interpolation and compression of the data.
 2. The method as recited in claim 1 wherein a residue theorem is applicable for the interpolation function s(z).
 3. The method as recited in claim 1 wherein the sampling function a(z) is a function over the complex numbers for which a(0)=1 and at at least all other sampled values z_(j) to be considered is equal to zero.
 4. The method as recited in claim 3 wherein the interpolation function s(z) can be represented by s(z)=Σs _(j) a(z−z _(j)) wherein s(z) is capable of being represented by the function values s_(j) at the complex sampling points z_(j).
 5. The method as recited in claim 1 wherein the sampling function a(z) is constructed using at least one of a double-periodic and a quasi-double periodic complex function.
 6. The method as recited in claim 1 wherein the sampling function a(z) is a complex holomorphic function.
 7. The method as recited in claim 6 wherein the sampling function a(z) is a complex holomorphic function except at existing poles.
 8. The method as recited in claim 1 wherein sampled values of the interpolation function s(z) are located within a closed curve C.
 9. The method as recited in claim 1 wherein function values of the interpolation function s(z) for points on a curve C are determined by an equation s(z)=Σs_(j)a(z−z_(j)).
 10. The method as recited in claim 9 wherein the curve C is a closed curve and wherein function values on the curve C are parameterized using a path length so as to obtain an equivalent one-dimensional data set.
 11. The method as recited in claim 10 wherein points of interpolation function s(z) within the curve C are determined by function values on the curve C using the Cauchy integral theorem and, if poles are present, using the residue theorem.
 12. The method as recited in claim 1 wherein the sampling function a(z) satisfies a(z)=sl({overscore (π)}z)/({overscore (π)}z)
 13. The method as recited in claim 12 wherein sl(z) is a Sinus Lemniscatus, the Sinus Lemniscatus being an elliptic function which can be represented using Jacobian elliptic functions.
 14. The method as recited in claim 1 wherein the using the interpolation function for the compression of the data is performed by mapping the data is mapped onto points within a curve C and representing the data by points on a closed boundary curve, the representing being performed using the interpolation function s(z).
 15. The method as recited in claim 14 wherein the mapping the data onto points within the curve C is performed on a line-by-line basis.
 16. The method as recited in claim 2 wherein the using the interpolation function for the compression of the data is performed by mapping the data is mapped onto points within a curve C and representing the data by points on a closed boundary curve, the representing being performed using the interpolation function s(z).
 17. The method as recited in claim 1 wherein the data is automatically processable.
 18. A computer readable medium having stored thereon computer executable process steps operative to perform a method for representation, interpolation and/or compression of data, the method comprising: identifying a two-dimensional interpolation function s(z) based on a sampling function a(z), a Cauchy integral theorem being applicable for the interpolation function s(z); using the interpolation function s(z) for at least one of representation, interpolation and compression of the data.
 19. A computer system comprising a processor configured to execute computer executable process steps operative to perform a method for representation, interpolation and/or compression of data, the method comprising: identifying a two-dimensional interpolation function s(z) based on a sampling function a(z), a Cauchy integral theorem being applicable for the interpolation function s(z); using the interpolation function s(z) for at least one of representation, interpolation and compression of the data. 